workspacesView: Minor cleanup

https://bugzilla.gnome.org/show_bug.cgi?id=694469

diff --git a/js/ui/workspacesView.js b/js/ui/workspacesView.js
index 1ea508f4c39db3c545d4fdc8b47302952b22c382..887b07ad30d7832db19d3b07825d2370358be6fe 100644 (file)
--- a/js/ui/workspacesView.js
+++ b/js/ui/workspacesView.js
@@ -636,16 +636,11 @@ const WorkspacesDisplay = new Lang.Class({
         if (!this._workspacesViews.length)
             return;
 
-        let fullWidth = this.actor.allocation.x2 - this.actor.allocation.x1;
-        let fullHeight = this.actor.allocation.y2 - this.actor.allocation.y1;
-
-        let width = fullWidth;
-        let height = fullHeight;
+        let width = this.actor.allocation.x2 - this.actor.allocation.x1;
+        let height = this.actor.allocation.y2 - this.actor.allocation.y1;
 
         let [x, y] = this.actor.get_transformed_position();
 
-        let rtl = (Clutter.get_default_text_direction () == Clutter.TextDirection.RTL);
-
         let monitors = Main.layoutManager.monitors;
         let m = 0;
         for (let i = 0; i < monitors.length; i++) {